6

Derandomizing the HSSW Algorithm for 3-SAT

Year:
2013
Language:
english
File:
PDF, 462 KB
english, 2013
21

The complexity of the Hajós calculus for planar graphs

Year:
2010
Language:
english
File:
PDF, 1.54 MB
english, 2010
24

An exact algorithm for the Boolean connectivity problem for -CNF

Year:
2011
Language:
english
File:
PDF, 261 KB
english, 2011
25

Exploiting partial knowledge of satisfying assignments

Year:
2007
Language:
english
File:
PDF, 199 KB
english, 2007
27

On the Boolean connectivity problem for Horn relations

Year:
2010
Language:
english
File:
PDF, 377 KB
english, 2010
29

Local Restrictions from the Furst-Saxe-Sipser Paper

Year:
2017
Language:
english
File:
PDF, 233 KB
english, 2017
38

A query efficient non-adaptive long code test with perfect completeness

Year:
2015
Language:
english
File:
PDF, 174 KB
english, 2015